INVITED PAPER Reconfigurable Network Systems and Software-Defined Networking

Source URL: sdn.ieee.org

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

On the Need of Precise Inter-App ICC Classification for Detecting Android Malware Collusions* Karim O. Elish, Danfeng (Daphne) Yao, and Barbara G. Ryder Department of Computer Science Virginia Tech Email: {kelish, danfen

Source URL: ieee-security.org

• Computing
• Software
• Computer architecture
• Android
• Smartphones
• Alphabet Inc.
• Intent
• Mobile app
• Google Play
• Malware
• Computer virus
• Couple

2009 33rd Annual IEEE International Computer Software and Applications Conference Penetration Testing for Spam Filters Yugesh Madhavan Jo˜ao W. Cangussu Department of Computer Science

Source URL: nsl.cse.unt.edu

On the Need of Precise Inter-App ICC Classification for Detecting Android Malware Collusions Karim O. Elish, Danfeng (Daphne) Yao, and Barbara G. Ryder

Source URL: ieee-security.org

• Software
• Computing
• Computer architecture
• Smartphones
• Android
• Google Play
• Vulnerability

SEC – a Lightweight Event Correlation Tool Risto Vaarandi Copyright ©2002 IEEE. Reprinted from Proceedings of the 2002 IEEE Workshop on IP Operations and Management. (ISBN: )

Source URL: ristov.github.io

• Software
• Information technology management
• System software
• Network management
• System administration
• Causal inference
• Causality
• Event correlation
• Event Management
• HP OpenView
• Bro
• OpenNMS

CALL FOR PAPERS 34th IEEE Software Engineering Workshop (SEWJune 2011 Limerick, Ireland http://www.seworkshop.org Co-located with

Source URL: www.seworkshop.org

IEEE Software / Voice of Evidence A Whisper of Evidence in Global Software Engineering Darja Šmite and Claes Wohlin Abstract: A systematic review of global software engineering (GSE) literature between 2000 and 2007

Source URL: www.wohlin.eu

IEEE Spectrum: Seeing Is Not Believing COMPUTING http://www.spectrum.ieee.org/computing/software/seeing-is-not...

Source URL: www.flong.com

IEEE Software Resubmission: Barney, Hu, Aurum, Wohlin Creating Software Product Value in China Sebastian Barney1,2, Ganglan Hu2, Aybüke Aurum2, Claes Wohlin1 1 School of Engineering, Blekinge Institute of Technology, P

Source URL: www.wohlin.eu